Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
نویسندگان
چکیده
منابع مشابه
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less restrictive framework of proof structures, and then in adapting the results to proof nets. At the level of proof structures, we find a semantical characterization of their interpretations in relational semantics, and we...
متن کاملBroadening the denotational semantics of linear logic
The proof-theoretic origins and specialized models of linear logic make it primarily operational in orientation. In contrast first-order logic treats the operational and denotational aspects of general mathematics quite evenhandedly. Here we show that linear logic has models of even broader denotational scope than those of first order logic, namely Chu spaces, the category of which Barr has obs...
متن کاملStratified coherent spaces: a denotational semantics for Light Linear Logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملStratified coherence spaces: a denotational semantics for light linear logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملBroadening the Denotational Semantics of Linear Logic (preliminary Report)
The proof-theoretic origins and specialized models of linear logic make it primarily operational in orientation. In contrast rst-order logic treats the operational and denotational aspects of general mathematics quite evenhandedly. Here we show that linear logic has models of even broader denotational scope than those of rst order logic, namely Chu spaces, the category of which Barr has observe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2007
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129506005652